Termination w.r.t. Q proof of TRS/Rubiolindau.trs

Termination w.r.t. Q of the following Term Rewriting System could not be shown:

Q restricted rewrite system:
The TRS R consists of the following rules:

c(b(a(X))) → a(a(b(b(c(c(X))))))
a(X) → e
b(X) → e
c(X) → e

Q is empty.

↳ QTRS

Q restricted rewrite system:
The TRS R consists of the following rules:

c(b(a(X))) → a(a(b(b(c(c(X))))))
a(X) → e
b(X) → e
c(X) → e

Q is empty.